CafePie – A Visual Programming Environment for CafeOBJ

We have implemented a visual programming system CafePie. Program editing and execution in CafePie are performed in one window. All program editing operations are handled in a uniform manner. We propose to customize the object views, which prescribe the visible part of the program object. Data structures of the program can be visualized as users like by using visual transformation rules. These rules can also be edited using drag-and-drop operations. We call these visualized objects “realistic” expression. The users can edit and execute the program by using “realistic” expression. We have also implemented the prototype on CafePie.